Research in Computing Science, Vol. 96, pp. 31-42, 2015.
PDF: Development of an Interpreter for LRT using the Exact Real Number Paradigm PDF: Development of an Interpreter for LRT using the Exact Real Number Paradigm